formal proposition

英 [ˈfɔːml ˌprɒpəˈzɪʃn] 美 [ˈfɔːrml ˌprɑːpəˈzɪʃn]

网络  形式命题

计算机



双语例句

  1. In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
    本文应用形式矩阵的计算技巧,得到李善兰恒等式的一个等价命题,进而给出李善兰恒等式的一个初等证明。
  2. The article relates the course from chaos to dearness of formal logic and the accurate characteristic of modern formal logic, based on probing the contact and difference between proposition and judgement.
    文章在探究命题与判断联系与区别的基础上,阐述了形式逻辑由混沌向清晰的发展过程以及现代形式逻辑的精确化特征。
  3. On the contrary, it is the formal expression of the pragmatic structure of discourse proposition, which helps the speaker pass the propositional meaning of his utterance to the hearer more effectively.
    相反,它是话语命题的语用结构的形式表达,旨在帮助说话人将其话语的命题意义更为有效地传递给听话人。
  4. The Constitution and constitutive laws have been deciding the formal legal operation system of NPC legislation. Its fundamental factors mainly are the provisions of the Law on Legislation on the proposition and deliberation of a bill.
    全国人大成文化的法定立法运作制度,一直由宪法和有关宪法性法律确定,其框架中的基本要素主要是立法法所建置的法律案提案和审议制度,也约略包括表决和公布制度。
  5. To the origin of business process management, it is generally acknowledged that the formal proposition of BPM was in the middle and later periods of the 1990s of last century.
    对于流程管理的起源,一般认为,流程管理的正式提出是在上世纪90年代中、后期。
  6. Depending only on formal thinking, Euclid formed system through figure proof, firstly applied the fifth postulate in the 29th proposition.
    欧几里德仅仅依靠形式思维,通过图形佐证形成体系,在第29个命题中首先运用第五公设。
  7. Especially in the epistemology, Russell applies the find in the formal logic to the analysis which points to proposition. We use these propositions to assert our ordinary knowledge theory and talk about the external world.
    尤其在认识论方面,罗素把形式逻辑中的发现应用于对命题的分析,我们用这些命题断言我们普通知识理论,谈论外部世界。
  8. Formal logics in AI have grown from the simple proposition logic to modal logic series, which are more com-plicated.
    形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。
  9. The main contents are summarized as follows: Before formal analysis, the thesis clarifies the necessity of proposition in the introduction, that is, why the administrative law should concern censorship of press.
    现将主要内容摘要如下:在进入正式分析之前,本文首先在导论部分阐明了论文命题的必要性,即行政法学为何关切新闻审查。